Une preuve bijective d'une formule de Touchard-Riordan
نویسندگان
چکیده
منابع مشابه
Une courte démonstration de la formule de Campbell-Hausdorff
We give a simple proof of an algorithm for computing the terms of the Campbell-Hausdorff formula. 2000 AMS Subject Classification: Primary: 22E15; Secondary: 22E60 Soient G un groupe de Lie et g = T1G son algèbre de Lie, vue comme l’espace tangent à G en l’élément neutre 1. Alors il existe un voisinage V de 0 dans g et un voisinage U de 1 dans G tels que la restriction de l’application exponent...
متن کاملTouchard-Riordan formulas, T -fractions, and Jacobi’s triple product identity
Abstract. We give a combinatorial proof of a Touchard-Riordan-like formula discovered by the first author. As a consequence we find a connection between his formula and Jacobi’s triple product identity. We then give a combinatorial analog of Jacobi’s triple product identity by showing that a finite sum can be interpreted as a generating function of weighted Schröder paths, so that the triple pr...
متن کاملUne comparaison entre deux méthodes de preuve de sécurité
In this paper, we compare two methods for security proofs a formal method, and the method by reduction from the complexity theory. A modification of the Otway-Rees protocol is proposed to show out a difference between the two methods : the exchanged key is provably secure in the sense of the BAN logic but it is not when we analyze it by reduction. The difference is due to a limitation of BAN lo...
متن کاملUne formule analytique pour les polynômes de Macdonald
We give the explicit analytic development of any Jack or Macdonald polynomial in terms of elementary (resp. modified complete) symmetric functions. These two developments are obtained by inverting the Pieri formula. Résumé Nous donnons le développement analytique explicite de tout polynôme de Jack ou de Macdonald sur les fonctions symétriques élémentaires (resp. complètes modifiées). Nous obten...
متن کاملUne preuve formelle et intuitionniste du théorème de complétude de la logique classique
Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 1995
ISSN: 0012-365X
DOI: 10.1016/0012-365x(94)00140-e